Active Sensor Networks Philip Levis† , David Gay‡ , and David Culler† {pal,culler}@cs.berkeley.edu, † EECS Department

Source URL: csl.stanford.edu

• Computing
• Software engineering
• Wireless sensor network
• TinyOS
• Wireless networking
• NesC
• Concurrent programming languages
• Functional languages
• Sensor node
• Transmission Control Protocol
• Thread
• Scala

Functional Encryption for Regular Languages Brent Waters University of Texas at Austin Abstract

Source URL: eprint.iacr.org

Scala for TAPL’ers Part 3 Ilya Sergey 16 November 2010

Source URL: ilyasergey.net

• Software engineering
• Computer programming
• Computing
• Functional programming
• Software design patterns
• Monad
• Scripting languages
• Type theory
• Foreach loop
• Null
• Scala
• Option type

DFScala: High Level Dataflow Support for Scala Daniel Goodman, Salman Khan, Chris Seaton, Yegor Gusgov, Behram Khan, Mikel Luján and Ian Watson Workshop on Data-Flow Execution Models for Extreme Scala Computing

Source URL: chrisseaton.com

• Functional programming
• Concurrent programming languages
• Functional languages
• Object-oriented programming languages
• Parallel computing
• Scala
• Pattern matching
• Dataflow
• Concurrent computing
• Anonymous function
• Subroutine
• Immutable object

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Montage: Leveraging advances in grammar engineering, linguistic ontologies, and mark-up for the documentation of underdescribed languages Emily Bender∗ , Dan Flickinger† , Jeff Good‡ , Ivan Sag† ∗ University o

Source URL: faculty.washington.edu

• Cognitive science
• Linguistics
• Cognition
• Generative linguistics
• Natural language processing
• Grammar
• Ontology
• Semantic Web
• Head-driven phrase structure grammar
• Parsing
• Functional theories of grammar
• Language

LogGC: Garbage Collecting Audit Log Kyu Hyung Lee Xiangyu Zhang Dongyan Xu Department of Computer Science and CERIAS, Purdue University West Lafayette, IN 47907, USA

Source URL: friends.cs.purdue.edu

• Computing
• Software
• Object-oriented programming languages
• Data management
• Computer systems
• Concurrent programming languages
• Functional languages
• Tuple
• Scala
• Log analysis
• Extensible Storage Engine
• Logfile

DepSpace: A Byzantine Fault-Tolerant Coordination Service Alysson Neves Bessani† , Eduardo Pelison Alchieri‡ , Miguel Correia† , Joni da Silva Fraga‡ ‡

Source URL: www.di.fc.ul.pt

• Computing
• Relational model
• Functional languages
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• ATS
• Relation

Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

Conditioned Slicing The 32nd CREST Open Workshop Software Engineering for Systems Developed in Functional Languages Sebastian Danicic Goldsmiths, University of London

Source URL: sebastian.doc.gold.ac.uk